type Push<T extends any[], K> = [...T, K];
